dépôts
/
lhc
/
web
/
wiklou.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
376c3ae
)
Follow-up ee66a534: Drop reference to old 7zip.inc file name from phan config too
author
James D. Forrester
<jforrester@wikimedia.org>
Mon, 13 May 2019 14:27:57 +0000
(15:27 +0100)
committer
James D. Forrester
<jforrester@wikimedia.org>
Mon, 13 May 2019 14:35:22 +0000
(15:35 +0100)
Change-Id: I4e018ab676f114a45edb9e7ca6025490134a2ef0
.phan/config.php
patch
|
blob
|
history
diff --git
a/.phan/config.php
b/.phan/config.php
index
12e723d
..
3478977
100644
(file)
--- a/
.phan/config.php
+++ b/
.phan/config.php
@@
-32,7
+32,6
@@
$cfg['file_list'] = array_merge(
class_exists( PHPUnit_TextUI_Command::class ) ? [] : [ '.phan/stubs/phpunit4.php' ],
class_exists( ProfilerExcimer::class ) ? [] : [ '.phan/stubs/excimer.php' ],
[
- 'maintenance/7zip.inc',
'maintenance/cleanupTable.inc',
'maintenance/CodeCleanerGlobalsPass.inc',
'maintenance/commandLine.inc',